×

找到4625个文档(结果1-100)

数学和ChatGPT。技术奇点脚下的会合点。(Mathematik和ChatGPT。在技术学家Singularität的会议上) (德语) Zbl 07796262号

柏林:施普林格演讲(ISBN 978-3-662-68208-1/pbk;978-3-562-68209-8/电子书)。xiv,第290页。(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数据库和信息系统的进展。第27届欧洲会议,ADBIS 2023,西班牙巴塞罗那,2023年9月4-7日。诉讼程序。 (英语) 兹比尔1527.68005

计算机科学课堂讲稿13985.查姆:施普林格(ISBN 978-3-031-42913-2/pbk;978-3-331-42914-9/电子书)。第二十二、254页。(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率知识系统的知识集成方法。 (英语) Zbl 1520.68005号

佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-032-23218-8/hbk;978-1-03-23388-8/pbk;978-1-003-27701-9/电子书)。xi,第190页。(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向异构知识库的起源。 (英语) Zbl 1515.68317号

Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13416, 287-300 (2022).
MSC公司:68立方英尺 68层35
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用域生成器评估STRIPS中的动作可逆性。 (英语) Zbl 07630648号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 226-236 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

系统W的性质及其与其他归纳推理算子的关系。 (英语) Zbl 07630647号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 206-225 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

容错集群发送问题。 (英语) Zbl 07630645号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388168-186(2022年)。
PDF格式BibTeX公司 XML格式引用

具有有限域的不完整数据库中的近似键和函数依赖关系。 (英语) Zbl 07630644号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 147-167 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

函数依赖和边际分布等价变量的蕴涵问题。 (英语) Zbl 07630643号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 130-146 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

你能在等的时候回答吗? (英语) 兹比尔07630642

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 111-129 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于查询知识图的RDF存储的统计信息。 (英语) Zbl 07630641号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 93-110 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过动态逻辑中的事件-条件-操作规则修复数据库。 (英语) Zbl 07630640号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 75-92 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

电厂控制器中逻辑功能图的基于图的语义。 (英语) Zbl 07630639号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 55-74 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

扩展析取逻辑程序设计的基于假设的论证。 (英语) Zbl 07630638号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13388, 35-54 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于作为全局特征映射变换器的消息传递神经网络的表达能力。 (英语) Zbl 07630637号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13388, 20-34 (2022).
PDF格式BibTeX公司 XML格式引用

关于具有函数依赖性的关系模式的抽样代表。 (英语) Zbl 07630636号

Varzinczak,Ivan(编辑),《信息和知识系统基础》。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13388, 1-19 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数据库和信息系统的进展。2022年9月5日至8日,第26届欧洲会议,ADBIS 2022,意大利都灵。诉讼程序。 (英语) Zbl 1503.68014号

计算机科学课堂讲稿13389.查姆:施普林格(ISBN 978-3-031-15739-4/pbk;978-3-331-15740-0/电子书)。第二十三、408页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

信息和知识系统基础。第十二届国际研讨会,FoIKS 2022,芬兰赫尔辛基,2022年6月20日至23日。诉讼程序。 (英语) Zbl 1499.68028号

计算机科学课堂讲稿13388.查姆:施普林格(ISBN 978-3-031-11320-8/pbk;978-3-331-11321-5/电子书)。十八、237页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

贝叶斯网络。以R为例。第二版。 (英语) Zbl 1475.62005号

查普曼和霍尔/CRC统计科学系列教材佛罗里达州博卡拉顿:CRC出版社(ISBN 978-0-367-36651-3/hbk;978-0-429-34743-6/电子书)。第十五章,258页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数据库和信息系统的进展。第25届欧洲会议,ADBIS 2021,爱沙尼亚塔尔图,2021年8月24日至26日。诉讼程序。 (英语) Zbl 1486.68012号

计算机科学课堂讲稿12843.查姆:施普林格(ISBN 978-3-030-82471-6/pbk;978-3-0030-82472-3/电子书)。第22页,第289页。(2021).
PDF格式BibTeX公司 XML格式引用

Bat算法及其在信号、语音和图像处理中的应用——综述。 (英语) Zbl 1459.94042号

Dey,Nilanjan(编辑)等,蝙蝠算法及其变体的应用。新加坡:斯普林格。Springer Tracts Nat.-灵感。计算。,133-153 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一类microRNA-disease网络的双曲线嵌入模型。 (英语) Zbl 1513.68061号

MSC公司:68层35 92立方厘米
PDF格式BibTeX公司 XML格式引用

目标驱动的结构化论证用于多发病率环境中的患者管理。 (英语) Zbl 07578367号

Dastani,Mehdi(编辑)等人,《逻辑与论证》。第三届国际会议,CLAR 2020,中国杭州,2020年4月6日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。1206166-183(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

拍卖描述语言(ADL):表示基于拍卖的市场的通用框架。 (英语) Zbl 1464.68388号

De Giacomo,Giuseppe(编辑)等人,ECAI 2020。第24届欧洲人工智能会议,2020年8月29日至9月8日,西班牙圣地亚哥·德孔波斯特拉。包括第十届人工智能应用大会,PAIS 2020。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。325, 825-832 (2020).
MSC公司:68层35 91B26型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

巩固模态知识库。 (英语) Zbl 1464.68386号

De Giacomo,Giuseppe(编辑)等人,ECAI 2020。第24届欧洲人工智能会议,2020年8月29日至9月8日,西班牙圣地亚哥·德孔波斯特拉。包括第十届人工智能应用大会,PAIS 2020。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。325, 648-655 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通用决定点过程的高性能采样。 (英语) 兹比尔1470.60132

MSC公司:60G55型 65层99 68层35
PDF格式BibTeX公司 XML格式引用

数据库和信息系统的进展。第24届欧洲会议,ADBIS 2020,法国里昂,2020年8月25-27日。诉讼程序。 (英语) Zbl 1464.68007号

计算机科学课堂讲稿12245.查姆:施普林格(ISBN 978-3-030-54831-5/pbk;978-3-0030-54832-2/电子书)。第xx页,第219页。(2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于统一逻辑控制模型的解推理算法。 (英语。俄文原件) Zbl 1464.68387号

赛博。系统。分析。 56,第2期,187-194(2020); 翻译自Kibern。修女。分析。2020年,第2期,21-30页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

构造地质模型的事件序列解释:一种基于知识的构造序列提取方法。 (英语) Zbl 07266060号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 318-333 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

强极小MapReduce算法:一个terasort案例研究。 (英语) Zbl 07266059号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 301-317 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于逻辑的方法对强分布式数据流进行增量监控和优化。 (英语) Zbl 07266056号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 242-262 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

结构化论证的动力学:对默认论证逻辑的变化进行建模。 (英语) Zbl 07266055号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 222-241 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

整数游戏描述逻辑:GDL数字扩展。 (英语) Zbl 07266053号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 191-210 (2020).
PDF格式BibTeX公司 XML格式引用

命题依赖逻辑中模型检查和可满足性的参数化复杂性。 (英语) Zbl 07266051号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 157-174 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

在一般信息空间中测量不一致性。 (英语) Zbl 07266050号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 140-156 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向类型理论中的概率推理——交叉类型案例。 (英语) Zbl 07266049号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 122-139 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多样性、依赖性和独立性。 (英语) Zbl 07266048号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 106-121 (2020).
PDF格式BibTeX公司 XML格式引用

在多对数时间中有适当的层次结构,并且没有完整的问题。 (英语) Zbl 07266047号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 90-105 (2020).
PDF格式BibTeX公司 XML格式引用

ASPARTIX-V19–一个基于答案集编程的抽象论证系统。 (英语) Zbl 07266046号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 79-89 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

社会整合:理性地相信证据和贵族身份的多重价值逻辑。 (英语) Zbl 07266045号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 58-78 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

关于矩阵和(K)-关系。 (英语) Zbl 07266044号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 42-57 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于蕴涵和重命名的条件知识库的标准形式。 (英语) Zbl 1456.68184号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 22-41 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有有限域的不完整数据库中的功能依赖性。 (英语) Zbl 1456.68028号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012,1-21(2020)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可解释人工智能的知识图。基础、应用和挑战。 (英语) 兹伯利1434.68034

语义网研究47.阿姆斯特丹:IOS出版社;海德堡:Akademische Verlagsgesellschaft AKA(ISBN 978-1-64368-080-4/pbk;978-1-643 68-081-1/电子书)。vii,592页。(2020).
PDF格式BibTeX公司 XML格式引用

信息和知识系统基础。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。 (英语) Zbl 1435.68031号

计算机科学课堂讲稿12012.查姆:施普林格(ISBN 978-3-030-39950-4/pbk;978-3-0.30-39951-1/电子书)。十八、335页。(2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

朝向自适应去模糊:使用数值Choquet积分。 (英语) 兹伯利07809071

Torra,Vicenç(编辑)等人,《人工智能决策建模》。2019年9月4日至6日,第16届国际会议,MDAI 2019,意大利米兰。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11676, 113-125 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件